"Türkiye'de roman ve toplumsal değişme" için notlar:Roman gerçeği/toplum gerçeği

Taha Toros Arşivi, Dosya No: 34-Nahit Sırrı Örikİstanbul Kalkınma Ajansı (TR10/14/YEN/0033) İstanbul Development Agency (TR10/14/YEN/0033

A Fully Abstract Symbolic Semantics for Psi-Calculi

We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics. A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted between processes and their names can be statically scoped using the standard pi-calculus mechanism to allow for scope migrations. Psi-calculi can be more general than other proposed extensions of the pi-calculus such as the applied pi-calculus, the spi-calculus, the fusion calculus, or the concurrent constraint pi-calculus. Symbolic semantics are necessary for an efficient implementation of the calculus in automated tools exploring state spaces, and the full abstraction property means the semantics of a process does not change from the original

İşte, Nazım Hikmet'in sansürlenen şarkıları

Taha Toros Arşivi, Dosya Adı: Nazım Hikmetİstanbul Kalkınma Ajansı (TR10/14/YEN/0033) İstanbul Development Agency (TR10/14/YEN/0033

Tarsus "Atatürk sevinci" içinde

Taha Toros Arşivi, Dosya Adı: Taha Torosİstanbul Kalkınma Ajansı (TR10/14/YEN/0033) İstanbul Development Agency (TR10/14/YEN/0033

Gökalp kongresi:1976 Türk toplum bilimleri semineri ve Türk kültürü kurultayı

Taha Toros Arşivi, Dosya No: 36-Ziya Gökalpİstanbul Kalkınma Ajansı (TR10/14/YEN/0033) İstanbul Development Agency (TR10/14/YEN/0033

Surveillance of active human cytomegalovirus infection in hematopoietic stem cell transplantation (HLA sibling identical donor): search for optimal cutoff value by real-time PCR

<p>Abstract</p> <p>Background</p> <p>Human cytomegalovirus (CMV) infection still causes significant morbidity and mortality after allogeneic hematopoietic stem cell transplantation (HSCT). Therefore, it is extremely important to diagnosis and monitor active CMV infection in HSCT patients, defining the CMV DNA levels of virus replication that warrant intervention with antiviral agents in order to accurately prevent CMV disease and further related complications.</p> <p>Methods</p> <p>During the first 150 days after allogeneic HSTC, thirty patients were monitored weekly for active CMV infection by <it>pp65 </it>antigenemia, nested-PCR and real-time PCR assays. Receiver operating characteristic (ROC) plot analysis was performed to determine a threshold value of the CMV DNA load by real-time PCR.</p> <p>Results</p> <p>Using ROC curves, the optimal cutoff value by real-time PCR was 418.4 copies/10⁴PBL (sensitivity, 71.4%; specificity, 89.7%). Twenty seven (90%) of the 30 analyzed patients had active CMV infection and two (6.7%) developed CMV disease. Eleven (40.7%) of these 27 patients had acute GVHD, 18 (66.7%) had opportunistic infection, 5 (18.5%) had chronic rejection and 11 (40.7%) died - one died of CMV disease associated with GVHD and bacterial infection.</p> <p>Conclusions</p> <p>The low incidence of CMV disease in HSCT recipients in our study attests to the efficacy of CMV surveillance based on clinical routine assay. The quantification of CMV DNA load using real-time PCR appears to be applicable to the clinical practice and an optimal cutoff value for guiding timely preemptive therapy should be clinically validated in future studies.</p

Cenab Şehabeddin'in Biyografisine Dair Yeni Bilgiler

[No Abstract Available

Taksim Meydanı

Taha Toros Arşivi, Dosya No: 37- Tarlabaşı-Tepebaşı-Taksimİstanbul Kalkınma Ajansı (TR10/14/YEN/0033) İstanbul Development Agency (TR10/14/YEN/0033)Tarih Taksim'de yazıldı: Taksim Meydanı Osmanlı'dan beri sürekli kimlik değiştiren ama her an yaşayan bir alanTaksim Stadı ve ilk milli maç:Bahçesi, gezisi, stadı, anıtı, kültür merkeziyle Taksim MeydanıTaksim'in kanlı tarihi:31 Mart, 6-7 Eylül, Kanlı Pazar ve 1 Mayıs 1977. Olaylı meydan kimliği Taksim'in kaderi olduFailleri hala meçhul:İşçi bayramının en coşkulu kutlandığı 1 Mayıs 1977 gününün sonunda Taksim Meydanı'nda 34 kişi öldüMeydanın yeni kimliği:90 sonrası Taksim Meydanı ilk sivil Cumhuriyet Bayramı kutlanmasına ve Tel'in mitinglerine sahne olduPolemiklerin meydanı:Taksim Meydanı'nın geçmişinden tartışmalar da hiç eksik olmadıBir kent profili olarak TaksimBu meydanda hayat var:Buluşma mekanları, heykeli, parkı, fıskiyeli havuzu, kağıt mendilcileri, şipşakçıları..

Explicit Substitutions for Contextual Type Theory

In this paper, we present an explicit substitution calculus which distinguishes between ordinary bound variables and meta-variables. Its typing discipline is derived from contextual modal type theory. We first present a dependently typed lambda calculus with explicit substitutions for ordinary variables and explicit meta-substitutions for meta-variables. We then present a weak head normalization procedure which performs both substitutions lazily and in a single pass thereby combining substitution walks for the two different classes of variables. Finally, we describe a bidirectional type checking algorithm which uses weak head normalization and prove soundness.Comment: In Proceedings LFMTP 2010, arXiv:1009.218